退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:基于Transactor的实时嵌入式系统形式验证
D. Karlsson; P. Eles; Z. Peng;
机译:嵌入式和实时系统的形式验证方法和工具的调查
机译:经过正式验证的用于POSIX实时操作系统上的实时调度的应用程序级框架
机译:正式建模和验证分布式实时嵌入式软件的方法
机译:实时嵌入式系统中一致诊断协议的正式规范和验证
机译:嵌入式系统中设备驱动程序的形式验证。
机译:嵌入式实时系统的运行时验证
机译:1基于形式要求的实时和嵌入式系统验证
机译:可靠嵌入式系统的形式化系统验证
机译:用于实时系统的分层调度的形式验证的装置和方法
机译:进行分层实时调度系统正式验证的装置和方法
机译:协同仿真计算机系统,嵌入式系统验证系统和嵌入式系统验证方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。